Hybrid Theory - PDFSEARCH.IO - Document Search Engine

Hybrid Theory
Results: 293

#	Item
71	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
72	PHYSICAL REVIEW LETTERS PRL 102, week ending 5 JUNE 2009 Add to Reading List Source URL: publik.tuwien.ac.at Language: English - Date: 2009-06-03 11:16:35 Hybrid functional Local-density approximation Science Density functional theory Crystal Electronic band structure
73	EECS 598-‐002 Special Topics, Fall 2015 Hybrid Systems: Speciﬁca2on, Veriﬁca2on and Control Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2015-04-02 11:13:20 Systems Formal sciences Dynamical system Knowledge Control theory Structure Cybernetics Systems theory Science
74	Synthese:59–78 DOIs11229O R I G I NA L PA P E R Sleeping beauty and self-location: A hybrid model Nick Bostrom Add to Reading List Source URL: www.fhi.ox.ac.uk Language: English - Date: 2013-06-07 09:45:38 Sleeping Beauty problem Philosophy Physical cosmology Knowledge Self-Indication Assumption Probability theory Principle of indifference Coin flipping Sleeping Beauty Probability Epistemology Puzzles
75	Abstraction-Based Guided Search for Hybrid Systems Sergiy Bogomolov1 , Alexandre Donz´e2 , Goran Frehse3 , Radu Grosu4 , Taylor T. Johnson5 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle6 1 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-05-14 12:15:43 Algorithm Science KeY STING Automata theory Models of computation Applied mathematics Mathematics Model checking
76	Microsoft Word - ijita12-3.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:07 Artificial intelligence Knowledge Database Database theory System Hybrid intelligent system Decision support system Systems science Database management systems Science Systems theory
77	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
78	Breathing New Lifespan into HFC: Tools, Techniques, and Optimizations Breathing New Lifespan into HFC: Tools, Techniques, and Optimizations Dr. Robert L. Howald, Fellow Technical Staff, ARRIS Add to Reading List Source URL: www.arrisi.com Language: English - Date: 2014-07-05 20:31:56 Electronics Telecommunications engineering Information theory Fiber-optic communications DOCSIS Spectral efficiency Compound annual growth rate Orthogonal frequency-division multiplexing Hybrid fibre-coaxial Digital cable Electronic engineering Broadband
79	46 Genome Informatics 17(1): 46–Genomic Data Assimilation for Estimating Hybrid Functional Petri Net from Time-Course Gene Add to Reading List Source URL: tswww.ism.ac.jp Language: English - Date: 2006-11-06 00:13:44 Consistent estimator Parameter Normal distribution Kalman filter Statistics Estimation theory Statistical theory
80	RICE UNIVERSITY Correcting the Self-Interaction Error of Approximate Density Functionals by Oleg A. Vydrov Add to Reading List Source URL: scuseria.rice.edu Language: English - Date: 2007-07-20 23:38:15 Atomic physics Ions Molecular physics Physical chemistry Hybrid functional Density functional theory Electron Ionization Chemical bond Chemistry Physics Quantum chemistry

UPDATE